- logical assertion
- Программирование: логическое высказывание, логическое суждение
Универсальный англо-русский словарь. Академик.ру. 2011.
logical assertion
Смотреть что такое "logical assertion" в других словарях:
Logical quality — In many philosophies of logic statements are categorized into different logical qualities based on how they go about saying what they say. Doctrines of logical quality are an attempt to answer the question: “How many qualitatively different ways… … Wikipedia
Assertion — The term assertion has several meanings: * Assertion (computing), a computing programming technique * Logical assertion, logical assertion of a statement * Patent assertion, the enforcement of patent rights, usually by litigation against an… … Wikipedia
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
logical positivism — logical positivist. a philosophical movement that stresses the function of philosophy as a method of criticizing and analyzing science and that rejects all transcendental metaphysics, statements of fact being held to be meaningful only if they… … Universalium
Assertion (computing) — In computer programming, an assertion is a predicate (i.e., a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place. For example, the following code contains two assertions … Wikipedia
Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… … Wikipedia
logical relation — ▪ logic those relations between the elements of discourse or thought that constitute its rationality, in the sense either of (1) reasonableness or (2) intelligibility. A statement may be perfectly intelligible without being based upon any… … Universalium
Proof by assertion — is a logical fallacy in which a proposition is repeatedly restated regardless of contradiction. Sometimes this may be repeated until challenges dry up, at which point it is asserted as fact due to its not being contradicted (argumentum ad… … Wikipedia
Green's Logical Inclusion Theorem — Green s Logical Inclusion Theorem, also known as the belief of Logical Inclusion, is the assertion that all monotheistic religious schools of thought, regardless location in the world or any other belief criterion, are worshiping and/or praying… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
List of basic topics in logic — For a more comprehensive list, see the List of logic topics. Logic, a branch of both philosophy and mathematics, is the study of criteria for the evaluation of arguments. The task of the logician is to advance an account of valid and fallacious… … Wikipedia
